mark holcomb vs john petrucci